Kripke model（克里普克模型）是模态逻辑中常用的一种语义结构，用来解释“必然”“可能”等模态算子。它通常由三部分组成：一组可能世界（possible worlds）、世界之间的可达关系（accessibility relation），以及对命题在各世界真假情况的赋值（valuation）。
/ˈkrɪpki ˈmɑːdəl/；/ˈkrɪpki ˈmɒdəl/
A Kripke model helps us interpret necessity and possibility.
克里普克模型帮助我们解释“必然”和“可能”。
In a Kripke model, a statement is necessary at a world if it holds in all accessible worlds.
在克里普克模型中，如果某个陈述在所有从该世界可达的世界里都为真，那么它在该世界就是“必然”的。
Kripke 来自美国哲学家与逻辑学家 Saul Kripke（索尔·克里普克）的姓氏，他对模态逻辑语义的发展影响深远；model 源自拉丁语 modulus（“尺度、度量的小单位”），在逻辑学里引申为“用于解释/满足某种语言或理论的结构”。
Select Language